61. Computability, an introduction to recursive function theory
پدیدآورنده : / Nigel Cutland
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Computable functions,Recursion theory
رده :
QA9
.
59
.
C87
62. Computability : an introduction to recursive function theory
پدیدآورنده : Cutland, Nigel
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computable functions,، Recursion theory,، Recursive functions
رده :
QA
9
.
59
.
C87
1980
63. Computability, an introduction to recursive function theory /
پدیدآورنده : Nigel Cutland
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computable functions,Recursion theory
رده :
QA9
.
59
.
C87
64. Computability, an introduction to recursive function theory
پدیدآورنده : / Nigel Cutland
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Computable functions,Recursion theory
رده :
QA9
.
59
.
C87
65. Computability, an introduction to recursive function theory
پدیدآورنده : Nigel Cutland,Title
موضوع : Computable functions,Recursion theory
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
66. Computability, complexity, and languages :
پدیدآورنده : Martin D. Davis, Ron Sigal, Elaine J. Weyuker
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computational complexity,Formal languages,Machine theory
رده :
QA267
.
D38
1994
67. Computability in combinatory spaces : an algebraic generalization of abstract first order computability
پدیدآورنده : Skordev, Dimitur Genchev
موضوع : ، Recursion theory,، Combinatory logic
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
68. Computability in combinatory spaces : an algebraic generalization of abstract first order computability
پدیدآورنده : Skordev, Dimitur Genchev
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Recursion theory,، Combinatory logic
رده :
QA
9
.
6
.
S56
69. Computability theory
پدیدآورنده : Herbert B. Enderton
کتابخانه: Library and Information Center of Ayatollah Imani of Salman Farsi University (Fars)
موضوع : Recursion theory
رده :
QA
9
,.
6
.
E52C6
2011
70. Computability theory /
پدیدآورنده : Rebecca Weber
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computable functions,Recursion theory
رده :
QA9
.
6
.
W43
2012
71. Computability theory
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Recursion theory. ;
72. Computability theory: An introduction to recursion theory
پدیدآورنده : / Enderton H.
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
73. Computability theory : an introduction to recursion theory
پدیدآورنده : Enderton, Herbert B.
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Recursion theory
رده :
QA
9
.
6
.
E53
2011
74. Computability theory : an introduction to recursion theory
پدیدآورنده : Enderton, Herbert B.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Recursion theory
رده :
QA
9
.
6
.
E53C6
75. Computability theory :an introduction to recursion theory
پدیدآورنده : / Herbert B. Enderton
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Recursion theory
رده :
511
.
35
E56C
2011
76. Computability theory : concepts and applications
پدیدآورنده : Dunne, Paul E
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Computable functions , Recursion theory , Turing machines
رده :
QA
9
.
59
.
D85
77. Computable analysis
پدیدآورنده : Oliver Aberth,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Recursion theory,Mathematical analysis
رده :
QA
.
A23
9
.
6
78. Computable analysis
پدیدآورنده : / by Klaus Weihrauch
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Computable functions,Recursion theory,Mathematical analysis
رده :
QA9
.
59
.
W46
2000
79. Computable analysis : an introduction
پدیدآورنده : Weihrauch, Klaus, 3491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computable functions,، Recursion theory,، Mathematical analysis
رده :
QA
9
.
59
.
W44C6
80. Computable analysis: an introduction
پدیدآورنده : Weihrauch, K. )Klaus(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computable functions,، Recursion theory,، Mathematical analysis
رده :
QA
9
.
59
.
W46
2000
